xen/domctl: Add DOMINFO_hap to xen_domctl_getdomaininfo
authorAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 15 Jul 2016 15:43:48 +0000 (16:43 +0100)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Wed, 27 Jul 2016 14:34:31 +0000 (15:34 +0100)
commit7179cd39efdb22ac847ae465d1aa11cd6263f19b
treee059467aabc24c44209c8725fb6f7c85338687b9
parentd2412fd63b14c6c21d0a3d4367afa448425dfb8a
xen/domctl: Add DOMINFO_hap to xen_domctl_getdomaininfo

This allows a toolstack to identify whether a running domain is using hardware
assisted paging or not.

The appropriate tests differ by architecture, so introduce
arch_get_domain_info().  ARM unconditionally sets the new flag, while x86
checks with the paging subsystem first.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Wei Liu <wei.liu2@citrix.com>
Reviewed-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: George Dunlap <george.dunlap@citrix.com>
tools/libxc/include/xenctrl.h
tools/libxc/xc_domain.c
xen/arch/arm/domctl.c
xen/arch/x86/domctl.c
xen/common/domctl.c
xen/include/public/domctl.h
xen/include/xen/domain.h